George Berkeley - PDFSEARCH.IO - Document Search Engine

George Berkeley
Results: 261

#	Item
31	Published in the Proceedings of the Principles of Programming Languages, 2001, pages 142–154 Oracle-Based Checking of Untrusted Software George C. Necula S. P. Rahul Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:39
32	“Social Distance and Social Decisions” George A. Akerlof Dept. of Economics, University of California at Berkeley The Brookings Institution Add to Reading List Source URL: globalnetwork.princeton.edu Language: English - Date: 2010-11-05 16:40:43
33	Exceptional Situations and Program Reliability WESTLEY WEIMER and GEORGE C. NECULA University of California, Berkeley It is difficult to write programs that behave correctly in the presence of run-time errors. Proper be Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:14
34	Published in the Proceedings of the Principles of Programming Languages, 2002, pages 128–139 CCured: Type-Safe Retrofitting of Legacy Code George C. Necula Scott McPeak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:29
35	MacFS: A Portable Macintosh File System Library Peter A. Dinda George C. Necula July 1998 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:15
36	A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols 1 Sumit Gulwani , George C. Necula Department of Computer Science, UC-Berkeley, Berkeley, CA 94720, USA Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:41
37	Published in “Conference on Compiler Construction” (CC), 2005, pp. 172–187. Data Slicing: Separating the Heap into Independent Regions Jeremy Condit and George C. Necula Department of Electrical Engineering and Co Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:10
38	Trafﬁcking Fraudulent Accounts: The Role of the Underground Market in Twitter Spam and Abuse Kurt Thomas, University of California, Berkeley, and Twitter; Damon McCoy, George Mason University; Chris Grier, University o Add to Reading List Source URL: www.enriquedans.com Language: English - Date: 2013-08-27 06:14:09
39	Intellectual Property for Entrepreneurs Sara Harrington LinkedIn Corporation George Willman Add to Reading List Source URL: innovation-archives.berkeley.edu Language: English - Date: 2013-11-22 13:23:53
40	Bibliography On Reserve for 516: Piers Plowman--the three versions. Ed. George Kane, E Talbot Donaldson, and G H Russell. Rev. ed. London: Athlone Press / Berkeley, Calif: University of California Press, Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2008-01-07 18:47:21

UPDATE